Quasi-periodic solutions and asymptotic properties for the nonlocal Boussinesq equation
Wang Zhen1, †, Qin Yupeng1, Zou Li2, 3
School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, China
School of Naval Architecture, State Key Laboratory of Structural Analysis for Industrial Equipment, Dalian University of Technology, Dalian 116024, China
Collaborative Innovation Center for Advanced Ship and Deep-Sea Exploration, Shanghai 200240, China

 

† Corresponding author. E-mail: wangzhen@dlut.edu.cn

Project supported by the National Natural Science Foundation of China (Grant Nos. 51579040, 51379033, and 51522902), the National Basic Research Program of China (Grant No. 2013CB036101), and Liaoning Natural Science Foundation, China (Grant No. 201602172).

Abstract

We construct the Hirota bilinear form of the nonlocal Boussinesq (nlBq) equation with four arbitrary constants for the first time. It is special because one arbitrary constant appears with a bilinear operator together in a product form. A straightforward method is presented to construct quasiperiodic wave solutions of the nlBq equation in terms of Riemann theta functions. Due to the specific dispersion relation of the nlBq equation, relations among the characteristic parameters are nonlinear, then the linear method does not work for them. We adopt the perturbation method to solve the nonlinear relations among parameters in the form of series. In fact, the coefficients of the governing equations are also in series form. The quasiperiodic wave solutions and soliton solutions are given. The relations between the periodic wave solutions and the soliton solutions have also been established and the asymptotic behaviors of the quasiperiodic waves are analyzed by a limiting procedure.

1. Introduction

Analytical study is an important aspect of nonlinear partial differential equations, which plays an important role in describing and explaining natural phenomena. Analytical soliton solutions of nonlinear partial differential equations attract many researchers’ attention due to their interesting properties.[13] Many different methods have been developed and used to obtain exact soliton solutions of nonlinear partial differential equations, such as the Lie symmetry method,[4] Bäcklund transformation method,[5] Hirota bilinear method,[68] inverse scattering transformation,[9] ellipitic function method,[10,11] and other constructing methods.[1217]

In 1970s, Novikov et al.[1822] developed a method to construct analytical quasiperiodic solutions of the nonlinear evolution equation. Many famous nonlinear evolution equations are proved to have analytical quasiperiodic solutions based on the inverse spectral method[6] and the algebraic geometry method,[23,24] such as the KdV equation,[2527] the sine-Gordan equation, the Schrödinger equation,[28] and the Camassa–Holm equation. In 1980s, Nakamura developed a direct way to construct a kind of quasiperiodic solution of nonlinear explicitly[29,30] based on the Hirota bilinear form.[6,7] This method is easy to determine the characteristic parameters of the waves directly, such as frequencies and phase shifts for given wave numbers and amplitudes. The periodic wave solutions of the KdV equation and the Boussinesq equation were obtained in Refs. [6], [8], and [31]. Fan gave the asymptotic properties of the quasiperiod solution.[32,33] This method has been applied to many famous nonlinear evolution equations.[3436]

The Boussinesq equation was proposed in the sense of hydrodynamics in its 1870s in original form

Many interesting properties have been revealed, such as the soliton solution and head-on collisions of two solitons. The direct method gave the interaction between solitons exactly. The inverse scattering transform was used to study its initial condition problem. The Bäcklund transformation could deduce a series of solutions to the Boussinesq equation from one solution given previously. In order to overcome the ill-posedness of Eq. (1), two alternative Boussinesq equations were proposed. One is known as the improved Boussinesq equation
and the other one is the good Boussinesq equation
The improved Boussinesq equation (2) and the good Boussinesq equation (3) are both well posed problems.

The nonlocal Boussinesq (nlBq) equation

where , , , and , was presented as a resonance-free alternative to the good Boussinesq equation and the behavior of the relevant two-soliton solution as compared to that of the good Boussinesq equation was discussed in detail.[37] The nonlocal Boussinesq equation arose as a compatibility condition for a linear system associated with the bilinear representation of Kaup’s higher order wave equation.[3739] It was shown that the nlBq equation can be regarded as a reduction of the KP hierarchy. The bilinear form was established in Ref. [38]. Multiple solutions of the nonlocal Boussinesq equation were given in Ref. [36] by the simplified Hirota bilinear method.

We will construct the one- and two-periodic wave solutions of the nlBq equation and give relations between the soliton solutions and the periodic solutions. The organization of this paper is as follows. In Section 2, we will rewrite the bilinear form of the nlBq equation with four arbitrary constants. In Section 3, the one- and two-periodic wave solutions of the nlBq equation are constructed based on its bilinear form. In Section 4, the limiting behaviors of the periodic-wave solutions are analyzed. The periodic-wave solutions degenerate into soliton solutions.

2. The bilinear form of nonlocal Boussinesq equation

The nlBq equation (4) and (5) can be regarded as the lowest order member of a hierarchy of soliton systems[38]

the second member of which is
The construction of this higher order flow is proved to be crucial in the bilinearization of the nlBq equations (4) and (5). In fact, equation (5) cannot be written in bilinear form directly, but it can be written in bilinear form by introducing a new variable t with the aid of Eq. (6). If we set q satisfying
then equation (4) is satisfied automatically. Equation (5) can be changed into the following form:
and equation (6) can be regarded as an auxiliary equation in terms of t and rewritten as
where c1 and c2 are integrable constants. The fractal terms can be cancelled by subtracting three times Eq. (9) from four times Eq. (10)
where . On the other hand, equation (9) can be written as
With the aid of Eq. (11), equation (12) is equivalent to the following equation:
which can be verified directly. This equation looks more complex than its original version, but it can be converted into the bilinear form easily. In fact, if we assume
then by using the standard identities for the Hirota D-operators[6]
we can obtain the bilinear form of Eqs. (11) and (13) as follows:
where u0, v0, c1, and C1 are arbitrary integration constants. They are crucial in constructing the periodic solutions, while in the process of constructing the soliton solutions, they are often put to zero.

It can be seen that equations (11) and (13) are equivalent to equations (5) and (7), respectively. Now we have obtained the bilinear form of the nonlocal Boussinesq equation by introducing new variable t and auxiliary equation (7). These bilinear equations are different from many existing bilinear equations for searching for Riemann theta function periodic wave solutions, such as in Refs. [32], [33], [35], and [36], where the arbitrary constants appeared separately. The arbitrary constant c1 appears in a nonlinear form in Eq. (17). Bilinear equations (16) and (17) degenerate into Eq. (30) in Ref. [38] when .

3. Periodic wave solutions
3.1. One-periodic wave solution

The Riemann theta function with genus N = 1[40,41] takes the form

where phase variable , .

To make the theta function (18) be a solution to the bilinear equation (16), equations (16) and (17) should be vanished by substituting

According to the previous results in Refs. [29], [30], [32], and [34], if the following four equations are satisfied:
then equations (19) and (20) hold. Combining the above four equations and the form of bilinear equations (16) and (17), we obtain
Then theta function (18) is an exact solution of Eq. (16).

Equation system (25) determines the relations among all the parameters. We suppose that c1, C1, σ, and ω are in terms of p, α, u0, and v0. Different from many existing references, ω appears in a nonlinear form in Eq. (25). We will adopt the perturbation method to find the series solution of equation system (25). In fact, by assuming , we have and , then each equation of system (25) is in the form of a series of λ. So we naturally use the perturbation method to obtain the series solution. Furthermore, the perturbation method is valid to the linear equation.[32,35,36]

In order to obtain the undetermined parameters, we can also suppose that c1, C1, σ, and ω are in a series of λ

Then substituting Eq. (26) into Eq. (25), collecting the coefficients of λi, and setting to zero one by one, we can obtain an equation system about σi, ωi, , and , . One can solve the equations corresponding to each λi, to solve the equation system step by step. As a result, we obtain the following series solution:
where and . So far we have obtained the one-periodic wave solution to the bilinear equations (16) and (17) with the parameters , and ω given in Eq. (27). Then from Eqs. (8) and 14we obtain the solution of the nlBq equation as
The U and its contour are shown in Fig. 1.

Fig. 1. (color online) A one-periodic wave U of the nlBq equations (4) and (5) via expression (28) with parameters p = 0.5, τ = 0.8, α = 0.1, , , and . (a) Perspective view of the periodic wave U. (b) The corresponding contour plot.

The one-periodic wave solution has the following characters. (i) It has two fundamental periods 1 and τ in the phase variable ξ. (ii) It is actually a kind of one-dimensional cnoidal waves, i.e., there is a single phase variable ξ. (iii) It has only one wave pattern for all time and can be viewed as a parallel superposition of overlapping one-solitary waves placed one period apart; see Fig. 1.

3.2. Two-periodic wave solution

We construct the two-periodic wave solution of the nlBq equation in this subsection. By taking the genus N = 2, the Riemann theta function takes the following form:

where , and is a positive definite and real-valued symmetric matrix which takes the form

In order to make the theta function (30) satisfy the bilinear equation (16), we substitute Eq. (30) into the left side of Eq. (16) to obtain

We denote , , , and , the necessary conditions of Eqs. (31) and (32) are the following eight equations:
where , , j = 1,2,3,4. Let , , , then we have

From Eq. (33), we find that the coefficients of ωk, σk, k = 1,2 and the constants c1, C1, u0, v0 are all series of λ1, λ2, so to obtain the undetermined parameters, we can also suppose them to be series of . The concrete forms are

Then substituting (35) into (33), collecting all the coefficients of occurring in the above equations, and setting to zero one by one, we can obtain a system equation about , , , , , for k = 1,2, The idea of perturbation can be used to solve the complicated equation system and the following approximate values can be obtained:
where and for k = 1,2.

Up to now, we have obtained the two-periodic wave solution of the bilinear equations (16) and (17), the parameters ωk, σk, c1, C1, u0, and v0 for k = 1,2 are given by Eqs. (36)–(41). Then from Eqs. (8) and (14), we can obtain the corresponding solution of the nlBq equation as

The U and its contour are shown in Fig. 2.

Fig. 2. (color online) A two-periodic wave U of the nlBq equations (4) and (5) via expression (42) with parameters , , , , , , , , and . (a) Perspective view of the periodic wave U. (b) The corresponding contour plot.

The two-periodic wave solution has the following characters. (i) It is a direct generalization of the one-periodic waves, its surface pattern is two-dimensional, i.e., there are two phase variables ξ1 and ξ2, which has two independent spatial periods in the two independent horizontal directions. (ii) It has 2N fundamental periods and in with . (iii) If the parameters satisfy the ratio relation

the two-periodic wave is actually one-dimensional and it degenerates to the one-periodic wave.

4. Asymptotic properties of the periodic wave solutions

In this section, we will show the relations between the one- and two-periodic wave solutions and the corresponding one- and two-soliton solutions.

4.1. Limiting behavior of the one-periodic wave solution

In this subsection, we will prove that the one-periodic wave solution of the nlBq equation can degenerate into its one-soliton solution with .

First of all, based on the bilinear equations (16) and (17) with the integration constants both being 0, we can easily obtain the one-soliton solution of the nlBq equation

with , where and .

If the parameters ω, σ, c1, and C1 satisfy Eq. (27), theta function (18) will be a solution to Eqs. (16) and (17). In order to prove that the one-periodic wave solution can degenerate into the one-soliton solution, we will examine the limiting behavior of

When and , from Eq. (27), we know that the parameters have the following degenerating values:

Let us denote
then we have
Assuming , from Eqs. (45), (48), and (49), we can see that is a one-soliton solution to the nlBq equation, the following result can also be obtained:
where is just the same as in Eq. (18). Therefore, equation (46) can be changed into
as .

Up to now, we have proved that the one-periodic wave solution of the nlBq equation actually degenerates into its one-soliton solution when , which gives a further validation for the correctness of this solution to the nlBq equation.

4.2. Limiting behavior of the two-periodic wave solution

In this subsection, we will prove that the two-periodic wave solution of the nlBq equation can degenerate into its two-soliton solution with and .

At the beginning, by use of Hirota’s method in Ref. [6], we can easily find the two-soliton solution of the nlBq equation based on its bilinear form (16) and (17) with the integration constants both being 0, its concrete form is as follows:

with , where , , k = 1,2, and

When ωk, σk, c1, C1, u0, and v0 for satisfy Eqs. (36)–(41), the theta function (30) is a solution to the bilinear equations (16) and (17).

In order to prove that the two-periodic wave solution can degenerate into the two-soliton solution (52), we will examine the limiting behavior of ,

If we denote
and take for then , for . So we also have
for k = 1,2.

Assuming , from Eqs. (52), (53), (55), and (56), we can see that is a two-soliton solution of the nlBq equation, the following result can also be obtained:

where is just the same as in Eq. (30). Then equation (54) can be changed into
as λ1, . From Eqs. (38) and (39), we can also see that the integration constants c1 and C1 both degenerate into 0 when .

Up to now, we have proved that the two-periodic wave solution of the nlBq equation actually degenerates into its two-soliton solution when , . When , this two-soliton solution is equivalent to the two-soliton solution presented in Ref. [36].

5. Conclusion

We have established a bilinear form to the nlBq equation, which consists of four arbitrary constants. This new bilinear form not only will degenerate to the known form in Ref. [38], but can also be used to construct periodic and quasiperiodic solutions to the nlBq equation in terms of the Riemman theta function.

The algebraic equation system about useful parameters is nonlinear, which is greatly different from the existing linear algebraic equation system in reference about constructing a quasiperiodic solution by the Riemman theta function. According to the series form of the coefficients of the governing equation, we have solved the nonlinear governing equation in series form by the perturbation method. In fact, our perturbation method is also suitable for the existing linear equation system appearing in reference about constructing a quasiperiodic solution by Riemman theta function.

We also show that the Riemann theta solutions degenerate to the soliton solutions. When t = 0, the degenerated soliton solutions are equivalent to Wazwaz’s multiple soliton solution[36] by a simplified bilinear method.

Reference
[1] Whitham G B 1974 Linear and Nonlinear Waves New York Wiley
[2] Sachs A C 1988 Physica 30 1
[3] Weiss J Tabor M Carnevale G 1983 J. Math. Phys. 24 522
[4] Hu X B Li C X Nimmo J J C Yu G F 2005 J. Phys. 38 195
[5] Zhang Y Chen D Y 2005 Chaos Solitons Fractals 23 175
[6] Hitora R 2004 The Direct Method in Soliton Theory (Cambridge tracts in mathematics) London Cambridge University Press
[7] Hitora R 1985 J. Phys. Soc. Jpn. 54 2409
[8] Hitora R Hu X B Tang X Y 2003 J. Math. Anal. Appl. 288 326
[9] Ablowitz M J Clarkson P A 1991 Solitons, Nonlinear Evolution Equations and Inverse Scattering London Cambridge University Press
[10] Akhiezer N I 1990 Elements of the Theory of Ellipitic Functions Providence American Mathematical Society
[11] Chen Y Wang Q Li B 2004 Z. Naturforsch. 59 529
[12] Zhou R G 1997 J. Math. Phys. 38 2535
[13] Lou S Y 1998 Z. Naturforsch. 53a 251
[14] Zhang D J Wu H Deng S F Bi J B 2008 Commun. Theor. Phys. 49 1393
[15] Bell E T 1934 Ann. Math. 35 258
[16] Wang Z Li D Lu H Zhang H 2005 Chin. Phys. 14 2158
[17] Wang Z Zhang H Q 2006 Chin. Phys. 15 2210
[18] Novikov S P 1974 Funct. Anal. Appl. 8 236
[19] Dubrovin B A 1975 Funct. Anal. Appl. 9 215
[20] Its A R Matveev V B 1975 Funct. Anal. Appl. 9 65
[21] Lax P D 1975 Commun. Pure Appl. Math. 28 141
[22] Mckean H P Moerbeke P 1975 Invent. Math. 30 217
[23] Geng X G Cao C W 2001 Nonlinearity 14 1433
[24] Geng X Wu Y Cao C 1999 J. Phys. 32 3733
[25] Liu Q P Hu X B Zhang M X 2005 Nonlinearity 18 1597
[26] Tian B Gao Y T 2001 Eur. Phys. J. 22 351
[27] Hirota R Satsuma J 1976 J. Phys. Soc. Jpn. 41 2141
[28] Yan Z Y 2010 Commun. Theor. Phys. 54 947
[29] Nakamura A 1979 J. Phys. Soc. Jpn. 47 1701
[30] Nakamura A 1980 J. Phys. Soc. Jpn. 48 1365
[31] Hu X B Wang H Y 2006 Inverse. Probl. 22 1903
[32] Fan E G Hon Y C 2008 Phys. Rev. 78 036607
[33] Fan E G 2009 J. Phys. A. Math Theor. 42 095206
[34] Ma W X Zhou R G 2009 Mod. Phys. Lett. 24 1677
[35] Tian S F Zhang H Q 2014 Stud. Appl. Math. 132 212
[36] Wazwaz A M 2013 Appl. Math. Lett. 26 1094
[37] Lambert F Loris I Springael J Willox R 1994 J. Phys. 27 5325
[38] Willox R Loris I Springael J 1995 J. Phys. 28 5963
[39] Loris I Willox R 1996 J. Phys. Soc. Jpn. 65 383
[40] Farkas H M Kra I 1992 Riemann Surfaces New York Springer-Verlag
[41] Rauch H E Lebowitz A 1973 Elloptic Functions, Theta Functions, and Riemann Surfaces Baltitimore William and Wilkins